(0 20 3)(1 19 12)(2 7 6)(4 18 16)(5 10 8)(9 14 11)(13 17 15)
ALLOWS (11/8)-SEQUENCE
1: (3 17 20)
(0 20 15 13 17)(1 19 12)(2 7 6)(3)(4 18 16)(5 10 8)(9 14 11)
2: (1 19 12)
(0 20 15 13 17)(1)(2 7 6)(3)(4 18 16)(5 10 8)(9 14 11)(12)(19)
3: (4 18 16)
(0 20 15 13 17)(1)(2 7 6)(3)(4)(5 10 8)(9 14 11)(12)(16)(18)(19)
4: (0 13 17)
(0)(1)(2 7 6)(3)(4)(5 10 8)(9 14 11)(12)(13 20 15)(16)(17)(18)(19)